301. Patras Logic Symposion :
پدیدآورنده : edited by George Metakides
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L65
1980
302. Patras Logic Symposion
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
303. Philosophical aspects of symbolic reasoning in early modern mathematics
پدیدآورنده : / edited by Albrecht Heeffer and Maarten Van Dyck
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical, History, Congresses
رده :
E-BOOK
304. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
305. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
رده :
QA
75
.
5
.
S9574a
306. Proceedings :
پدیدآورنده : M.E. Stickel, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.,Logique symbolique et mathématique, Congrès.,Théorèmes-- Démonstration automatique, Congrès.,Automatic theorem proving.,Automatisches Beweisverfahren.,Inteligência artificial (conmputação),Logic, Symbolic and mathematical.,Kaiserslautern 1990, 7
رده :
QA76
.
9
.
A96
I57
1990
307. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
308. Proceedings of ... IEEE International Conference on Fuzzy Systems/the international joint conference of the ... IEEE International Conference on Fuzzy Systems and the .... International Fuzzy Engineering Symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Neural networks )Computer science(,Congresses ، Fuzzy systems,Congresses ، Logic, Symbolic and mathematical,Congresses ، Intelligent control systems
رده :
QA
76
.
87
.
I3434a
309. Proceedings of the First Logic Congresses, May 5-7, 1990, Tehran, Iran
پدیدآورنده : Logic Congress )0991: Tehran, Iran(
موضوع : ، Logic, Symbolic and mathematical-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
310. Proceedings of the Logic Colloquium :
پدیدآورنده : G H Müller
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logique algébrique -- Congrès.,Modèles, Théorie des -- Congrès.
311. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
312. Proceedings of the Second Scandinavian Logic Symposium.
پدیدآورنده : Ed. by J.E. Fenstad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.
رده :
QA9
.
S32
1970
313. Proceedings of the Second Scandinavian Logic Symposium
پدیدآورنده : Scandinavian Logic Symposium, 2d, 0791, University of Oslo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
S32
1970
314. Proceedings of the eleventh algebra seminar
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Alegbra, Congresses.,Logic, Symbolic and mathematical, Congresses.
رده :
{
1648
},
009d2b3152c988d45a132bbfe6b66853
315. Proceedings of the first logic congress, May 5-7, 1990, Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical - Congresses
رده :
QA
9
.
A1
L63
1990
316. Proceedings of the first logic congress : May 5-7, 1990 Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1990
317. Proceedings of the second Scndinavian logic symposium
پدیدآورنده : / ed. by J. E. Fenstad
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical - Congresses
رده :
511
.
3
S283
318. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
319. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
I57
1990
320. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
